Pyrrolidine, 1-[[4-(4-oxo-1-piperidinyl)phenyl]sulfonyl]-