4-Piperidinol, 1-[[(3S,4S)-1-(cyclohexylmethyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-[3-(3-pyridinyl)propyl]- AIDS-153895 AIDS153895