Enrique de Villena, Traducción de la «Divina Commedia»