Arias Madrid, Arnulfo, 1901-1988