(3.beta.,7.beta.)-7,25-Dihydroxycholest-5-en-3-ol 7.beta.,25-Dihydroxycholesterol AIDS-080408 AIDS080408