Ab Initio Hartree-Fock and Local Density Functional Calculations on Prototype Halogenated Porphyrins. Do Electrochemically Measured Substituent Effects Reflect Gas-Phase Trends? | Synapse