dehydratase Synonyms