cholera morbus Synonyms