(3S,4S)-4-Phenyl-1-(phenylsulfonyl)-3-(spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-10-ylmethyl)pyrrolidine AIDS-112626 AIDS112626