4-Piperidinol, 1-[[(3S,4S)-1-(cyclohexylmethyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-(2-methyl-2H-tetrazol-5-yl)- AIDS-153889 AIDS153889