pyromucic acid Synonyms