(3aS,6S,6aR)-6-Methyl-4-methylcarbamoyl-5-oxo-hexahydro-pyrrolo[3,2-b]pyrrole-1-carboxylic acid benzyl ester AIDS-122910 AIDS122910