Ion-radical mechanism of enzymatic ATP synthesis: DFT calculations and experimental control.