В 1983–1984 годах Международный астрономический союз присвоил четырём открытым астероидам имена. Какие?