AIDS-112322 AIDS112322 Piperidine, 4-(3-phenylpropyl)-1-[[(3S,4S)-4-phenyl-1-(2-thienylsulfonyl)-3-pyrrolidinyl]methyl]-