dichlorine dioxide Synonyms