Assinale a alternativa que corresponde ao medicamento que tem efeito comprovado na redução de mortalidade em insuficiência cardíaca com fração de ejeção reduzida (HFrEF).