AIDS-038936 AIDS038936 Isothiazolo[5,4-b]pyridin-3(2H)-one, 4,6-dimethyl-2-(2-propenyl)-, 1,1-dioxide