AIDS-138873 AIDS138873 Methyl 3a-methyl-4-oxo-1,2,3,3a,4,8a-hexahydro-2-azulenecarboxylate NSC646445