AIDS-138787 AIDS138787 Methyl 6-(1-methyl-2-propenyl)-1,4-dioxaspiro[4.4]nonane-6-carboxylate NSC646225