1,8a-Dihydroxy-4a,5,6-trimethyldecahydro-2-naphthalenyl acetate AIDS-031427 AIDS031427 NSC122500