25-Bromolanosterol AIDS-111675 AIDS111675 Lanosta-8,24-dien-3-ol, 24-bromo-, (3b)-