8-Methyl-6-prop-2-enylbenzo[b]pyridazino[4,3-f]1,4-oxazaperhydroepin-5-one AIDS-094725 AIDS094725