Validation of a De Novo Health Economic Model for Finerenone in Heart Failure with Left Ventricular Ejection Fraction ≥40% | Synapse