AIDS-171252 AIDS171252 Piperazine, 1-benzoyl-4-[1,2-dioxo-2-(1H-pyrrolo[2,3-c]pyridin-3-yl)ethyl]-