Código postal de Arroyo Lirio en San Juan Guichicovi, Oaxaca, México