(+/-)-rel-Piperidine, 4-phenyl-1-[[(3S,4S)-4-phenyl-1-(2-thienylcarbonyl)-3-pyrrolidinyl]methyl]- AIDS-113311 AIDS113311