Text this: Catheter ablation approach and outcome in HIV+ patients with recurrent atrial fibrillation.