AIDS-134859 AIDS134859 Methyl 7-oxo-3-cycloheptene-1-carboxylate NSC633890