AIDS-038976 AIDS038976 Ethanone, 1-(4-hydroxy-2,5,7-trimethyl-1,1-dioxido-2H-pyrido[3,2-e]-1,2-thiazin-3-yl)-