Prophylactic external pacing during cardioversion of atrial tachyarrhythmias.