Arqués Jover, Agustín de O. de M.), 1734-1808, traductor.