what ion is used to power atp synthase in order to regenerate atp