Asymmetric NHC-catalyzed aza-Diels-Alder reactions: highly enantioselective route to α-amino acid derivatives and DFT calculations