¿Qué político salvadoreño fue ejecutado junto a Sandino en San Salvador en 1932 (nombre y apellido)?