Wiktionary
iodocholesterol
n. A derivative of cholesterol with an iodine atom.
n. A derivative of cholesterol with an iodine atom.