Gary Martin after 4:00.95 mile