(E)-4-Oxo-pent-2-enoic acid [(S)-1-(5-methyl-4-oxo-4H-thieno[2,3-d][1,3]oxazin-2-yl)-ethyl]-amide AIDS-086307 AIDS086307 Oxazinone der.