iodocholesterolEtymologyFrom iodo- + cholesterol.nounA derivative of cholesterol with an iodine atom.