6-(3,4-Methylenedioxyphenyl)-1,3-dioxolo[g]quinazoline AIDS-019733 AIDS019733