4β-deuterio-cholest-5-en-3β-ol