The conversion of steroid 7,9-dienes into cholesterol