A formal total synthesis of geneserine