Código postal de San Antonio la Portilla en Tecamachalco, Puebla, México