With a time of 3:49.4, breaking the existing world record by over 1.5 seconds, who was the first to run the mile in under 3:50 minutes ?