2-Pyrrolidinecarboxamide,N-methyl-N-[(1-methyl-1H-tetrazol-5-yl)methyl]-1-(2-naphthalenylsulfonyl)-4-[(triphenylmethyl)thio]-, (2S,4R)-