Kinetic isotope effect on proton tautomerism in tetraarylporphyrins.