AIDS-171215 AIDS171215 Piperazine, 1-benzoyl-4-[1,2-dioxo-2-(1H-pyrrolo[2,3-b]pyridin-3-yl)ethyl]-2-ethyl-