(3S,3aR,6aS)-3-Methyl-2-oxo-hexahydro-pyrrolo[3,2-b]pyrrole-1,4-dicarboxylic acid 4-benzyl ester 1-methyl ester AIDS-122908 AIDS122908