ergothioneine Synonyms