Ruiz Alonso, Ramón, 1903-1978