(3.beta.)-24-Thialanost-8-en-3-ol 24-thia lanosterol analog AIDS-008830 AIDS008830