Studies on the 14α-demethylation mechanism in cholesterol biosynthesis