Rasgos biográficos de hombres notables de la República Oriental del Uruguay - De María, Isidoro (García, 1939)