AIDS-136285 AIDS136285 Methyl 8-oxo-2,3-didehydroaspidospermidine-3-carboxylate NSC637471