what person was the first to reach the top of midi?
(AND geography.mountaineer (JOIN geography.mountaineer.first_ascents m.058tfc))