second person to run 4 minute mile