¿En qué batalla fueron derrotados por primera vez los tercios españoles, en 1643?