4-Piperidinol, 4-(3-phenylpropyl)-1-[[(3S,4S)-4-phenyl-1-[[5-(2-pyridinyl)-2-thienyl]sulfonyl]-3-pyrrolidinyl]methyl]- AIDS-112323 AIDS112323