¿Cómo se llamaba el general que, en la Guerra Civil, fue comandante en jefe de la región de Andalucía?