Código postal de San Juan en Malinalco, México, México