trioxindol Synonyms