AIDS-038953 AIDS038953 Isothiazolo[5,4-b]pyridin-3(2H)-one, 4,6-dimethyl-2-[(2E)-4-[4-(2-pyrimidinyl)-1-piperazinyl]-2-butenyl]-, 1,1-dioxide