(3-.beta.,24R,S)-24-Thiacholest-5-en-3-ol S-Oxide 24-thia Cholesterol analog AIDS-008831 AIDS008831