10-{[(4S,3R)-4-Phenyl-1-(phenylsulfonyl)pyrrolidin-3-yl]methyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1,1-dione AIDS-112631 AIDS112631