Código postal de San Antonio en Miahuatlán de Porfirio Díaz, Oaxaca, México