What molecule will form when hydrogen ions flow down the electrochemical gradient through ATP synthase complexes in mitochondria?