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