AIDS-190023 AIDS190023 Piperidine, 1-[[(3S,4S)-1-benzoyl-4-phenyl-3-pyrrolidinyl]methyl]-4-phenyl-