Боюсь , что для таких задач лучше создать какой-нибудь бинарник из python/java , который будет этим заниматься и отдавать путь к сконвертированному файлу. Вряд ли на PHP часто возникают такие задачи и вы найдете стоящую библиотеку, если вообще найдете.
