AIDS-153312 AIDS153312 Methyl 7-(benzoyloxy)-2-hydroxy-3-oxohexahydro-1H-pyrrolizine-1-carboxylate NSC699780