100th Mixed Brigade (People's Army of the Republic) - 100.ª Brigada Mixta (Ejército Popular de la República)