AIDS-038972 AIDS038972 Ethanone, 2-(3-acetyl-4-hydroxy-5,7-dimethyl-1,1-dioxido-2H-pyrido[3,2-e]-1,2-thiazin-2-yl)-1-phenyl-