10-{[(3S,4S)-4-Phenyl-1-(phenylsulfonyl)pyrrolidin-3-yl]methyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1-one AIDS-112632 AIDS112632