4-Piperidinol, 4-(3-phenylpropyl)-1-[[(3S,4S)-4-phenyl-1-(2-thienylsulfonyl)-3-pyrrolidinyl]methyl]- AIDS-112321 AIDS112321