AIDS-190024 AIDS190024 Piperidine, 1-[[(3S,4S)-1-(2-methyl-1-oxopropyl)-4-phenyl-3-pyrrolidinyl]methyl]-4-phenyl-