Juan Rivera, traductor ilustrado en la España del Trienio Liberal