Llaguno y Amírola, Eugenio de, traductor.