Pyrrolidine, 1-(cyclopropylcarbonyl)-3-[[2-[[4-(methylsulfonyl)phenyl]methyl]-1-oxo-2, 8-diazaspiro[4.5]dec-8-yl]methyl]-4-phenyl-, (3R,4R)-rel-