Duración de reproducción

Dada una duración en formato hh:mm:ss y una velocidad de reproducción, divide el total de segundos por la velocidad, redondea el resultado hacia abajo y devuelve el valor en formato hh:mm:ss. Las horas pueden tener más de dos dígitos.