Lucha obrera / Partido Obrero Revolucionario (Trotskista), Sección española de IV Internacional