Rodríguez de Mata, Ramón, traductor.