(3aS,6S,6aR)-4-Benzylcarbamoyl-6-methyl-5-oxo-hexahydro-pyrrolo[3,2-b]pyrrole-1-carboxylic acid benzyl ester AIDS-122912 AIDS122912