trioxolane Synonyms