AIDS-114378 AIDS114378 Pyrrolo[3,2-b]pyrrole-1(2H)-carboxylic acid, hexahydro-6-methyl-5-oxo-4-[(1E)-3-oxo-1-butenyl]-, phenylmethyl ester, (3aS,6S,6aR)-