On the demethylation of lanosterol to cholesterol.