(23R)-3-Oxolanosta-8,24-dien-23-ol AIDS-059911 AIDS059911