(+/-)-rel-Piperidine, 4-phenyl-1-[[(3S,4S)-4-phenyl-1-[2-(trifluoromethyl)benzoyl]-3-pyrrolidinyl]methyl]- AIDS-113303 AIDS113303