AIDS-171251 AIDS171251 Piperazine, 4-benzoyl-1-[1,2-dioxo-2-[1-(2-propenyl)-1H-pyrrolo[2,3-b]pyridin-3-yl]ethyl]-2-methyl-, (2R)-