(E)-4-(3-Cyano-phenyl)-4-oxo-but-2-enoic acid [(S)-1-(5-methyl-4-oxo-4H-thieno[2,3-d][1,3]oxazin-2-yl)-ethyl]-amide AIDS-086302 AIDS086302 Oxazinone der.