Villaseñor y Acuña, Eustasio de, trad.