Theoretical investigations toward the [4 + 2] cycloaddition of ketenes with N-benzoyldiazenes catalyzed by N-heterocyclic carbenes: mechanism and enantioselectivity.