(+/-)-rel-Piperidine, 1-[[(3S,4S)-1-(2-ethyl-1-oxobutyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-phenyl- AIDS-113316 AIDS113316