(3aS,6S,6aR)-6-Methyl-4-(4-nitro-phenyl)-5-oxo-hexahydro-pyrrolo[3,2-b]pyrrole-1-carboxylic acid benzyl ester AIDS-122913 AIDS122913