4-Phenyl-1-{[(3S,4S)-4-phenyl-1-(phenylsulfonyl)-3-pyrrolidinyl]methyl}piperidine AIDS-080614 AIDS080614