CASTLE-HFpEF (Catheter Ablation for Atrial Fibrillation Patients With Heart Failure With Mildly Reduced and Preserved Ejection Fraction) | MicrobiomeTrials