(23R,25R)-Cholesta-5,7-diene-3β,25-diol-26,23-lactone