Quantum-chemical study of the protonation of aminophospha-alkenes