2-{4-[1-(3-Dioxaziridin-3-yl-phenyl)-methanoyl]-benzyl}-5-methyl-thieno[2,3-d][1,3]oxazin-4-one AIDS-088762 AIDS088762