(3β,23R)-cholest-5-ene-3,23-diol