4,8a-Dimethyl-6-oxo-1,2,3,3a,6,7,8,8a-octahydro-1-azulenyl formate AIDS-131651 AIDS131651 NSC624385