AIDS-038940 AIDS038940 Isothiazolo[5,4-b]pyridin-3(2H)-one, 2-[3-(1,3-benzodioxol-5-ylamino)-2-hydroxypropyl]-4,6-dimethyl-