What is the fastest mile ran in a marathon?

4'07"