Código postal de Ojo de Puerco en San Diego de la Unión, Guanajuato, México