Removal of the 4,4-Dimethyl Carbons in the Enzymic Conversion of Lanosterol to Cholesterol