A patient with heart failure with reduced ejection fraction (HFrEF) is already on an ACE inhibitor and beta-blocker.Which additional agent has been shown to reduce mortality?