AIDS-086306 AIDS086306 But-2-enedioic acid [(S)-1-(5-methyl-4-oxo-4H-thieno[2,3-d][1,3]oxazin-2-yl)-ethyl]-amide phenylamide Oxazinone der.