the new champion was mijail botvinnik