Quale tra i seguenti farmaci ha dimostrato di ridurre in modo significativo la morbilità e mortalità nei pazienti con scompenso cardiaco a frazione di eiezione ridotta (HFrEF) e, a differenza degli altri, agisce principalmente sulla natriuresi e diuresi osmotica glucosio-dipendente?