A Computational Protocol Combining DFT and Cheminformatics for Prediction of pH-Dependent Redox Potentials | Synapse