Computational insight into the cooperative role of non-covalent interactions in the aza-Henry reaction catalyzed by quinine derivatives: mechanism and enantioselectivity.