picric acid Synonyms