7-benzyloxycarbonylamino-6-methyl-[1,3]dioxolo[4,5-g]quinazolinium betaine