М.В. Прасолов. Гомотопический тип группы диффеоморфизмов четырёхмерной сферы