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