1-Pyrrolidinecarboxamide, 2-[[(3aS,6S,6aR)-hexahydro-6-methyl-5-oxo-4-[6-(trifluoromethoxy)-2-benzothiazolyl]pyrrolo[3,2-b]pyrrol-1(2H)-yl]carbonyl]-N-[4-(1-methylethyl)phenyl]-, (2S)- AIDS-185129 AIDS185129