Código postal de San José de las Pilas en Santa Cruz de Juventino Rosas, Guanajuato, México