AIDS-038971 AIDS038971 Ethanone, 1-(4-hydroxy-5,7-dimethyl-1,1-dioxido-2H-pyrido[3,2-e]-1,2-thiazin-3-yl)-