(3-.beta.,24R,S)-24-Methyl-24-thianiacholest-5-en-3-ol Iodide 24-thia Cholesterol analog AIDS-008832 AIDS008832