Doug Hutcheson wins the mile in 4:51