AIDS-139115 AIDS139115 Methyl 1,4-dioxaspiro[4.5]decane-7-carboxylate NSC647370