AIDS-171253 AIDS171253 Piperazine, 4-benzoyl-1-[1,2-dioxo-2-(1H-pyrrolo[2,3-c]pyridin-3-yl)ethyl]-2-methyl-, (2R)-