deoxycholic acid Synonyms