Synthesis of isoindolo[2,1-b]isoquinoline-5,7-dione via the wittig intramolecular cyclization