el 6 de julio de 1939), también conocido por el alias «Doctor Muñiz», fue un albañil, atracador, anarquista y espía.