Prediction of the Aqueous Redox Properties of Functionalized Quinones Using a New QM/MM Variational Formulation | Synapse