Enzymatic conversion of ‡8(14)-cholesten-3β-ol to cholesterol