Ramírez, Pedro, traductor.