N-(1-cyanocyclopropyl)-1-(cyclohexanecarbonyl)-4-[2-(trifluoromethyl)phenyl]sulfonylpyrrolidine-2-carboxamide