iodocholesterol

== English == === Etymology === From iodo- +‎ cholesterol. === Noun === iodocholesterol (plural iodocholesterols) A derivative of cholesterol with an iodine atom.