iodocholesterol (English, noun)
expansion: iodocholesterol (plural iodocholesterols)
Senses:
glosses: A derivative of cholesterol with an iodine atom.
Forms:
form: iodocholesterols
tags: plural