¿Qué fármacos han demostrado disminuir mortalidad cardiovascular en diabetes mellitus?