（）哪年七月，国际天文学会以“金庸星”命名北京天文台所发现的一颗小行星？