Antonio José Armas (n.