Noun
chlorocholesterol (plural chlorocholesterols) A derivative of cholesterol with an chlorine atom.