AIDS-112326 AIDS112326 Piperidine, 1-[[(3S,4S)-1-(cyclohexylmethyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-(3-phenylpropyl)-