В 1972 году астрономы Крымской обсерватории назвали только что открытую малую планету в честь чемпиона мира, который 17 лет удерживал почетное звание и умер непобежденным. Как назвали планету?