(23R)-cholesta-5,25-diene-3β,23-diol