gallocatechol Synonyms