Electrochemical intramolecular C–H/N–H functionalization for the synthesis of isoxazolidine-fused isoquinolin-1(2H)-ones