From amino acids to enantiopure bicyclic isoxazolidinylpyridin-4(1H)-ones through intramolecular nitrone cycloadditions