hexanitrodiphenylamine Synonyms