Ketonic intermediates in the demethylation of lanosterol.