(2E)-N-[(1S)-1-(5-methyl-4-oxothiopheno[2,3-d]1,3-oxazin-2-yl)ethyl]-4-oxo-4-(2-thienyl)but-2-enamide AIDS-086305 AIDS086305 Oxazinone der.