Hernandez de Velasco, Gregorio, trad.