1-Pyrrolidinecarboxamide, N-(4-chlorophenyl)-2-[[(3aS,6S,6aR)-4-(cyclopropylcarbonyl)hexahydro-6-methyl-5-oxopyrrolo[3,2-b]pyrrol-1(2H)-yl]carbonyl]-, (2S)- AIDS-185100 AIDS185100