high proper-motion star in the constellation Sagittarius