Enzymatic conversion of 32-oxygenated Δ7-lanosterol derivatives and of Δ8(14)-4,4-dimethyl-cholestenol to cholesterol