AIDS-038952 AIDS038952 Isothiazolo[5,4-b]pyridin-3(2H)-one, 4,6-dimethyl-2-[[4-[(2E)-3-phenyl-2-propenyl]-1-piperazinyl]methyl]-