Empleó el pseudónimo «Juan Salvador».