2-Pyrrolidinecarboxamide,4-mercapto-1-(2-naphthalenylsulfonyl)-N-[(2,4,5-trifluorophenyl)methyl]-,(2S,4R)-