Я пытаюсь преобразовать MIDI-файл типа 1 в тип 0. Есть ли библиотека Python, которая может это сделать?Или, альтернативно, есть какой-нибудь код, который можно запустить из командной строки, который мог бы выполнить преобразование?