Atrial Fibrillation in a Patient with Heparin-induced Thrombocytopenia Successfully Treated by Radiofrequency Catheter Ablation Using a Direct Thrombin Inhibitor