Atrial pacing for cardioversion of atrial flutter in digitalized patients.