Effect of adenosine on the atrio-venous conduction after electrical isolation of the pulmonary veins