First-Principles Prediction of Electrochemical Electron-Anion Exchange: Ion Insertion without Redox.