(+/-)-rel-Piperidine, 4-phenyl-1-[[(3S,4S)-1-(phenylmethyl)-4-(3-thienyl)-3-pyrrolidinyl]methyl]- AIDS-113325 AIDS113325