‘La huelga’ de Eisenstein musicalizada para celebrar los 100 años de la Revolución de Octubre