how many world cup downhills did the athlete who won the olympics with an average speed of 63.9 mph win at kitzbühel ?
4