A dramatization of the race to the four-minute mile.