Which Russian figure was a member of the Russian Academy of Natural Sciences, Yuri Linnik or Anatoly Fomenko?