I do also believe that is not possible to accomplish this workout if you’re truly running your mile pace and a decently trained athlete, not even talking about pro or semi pro level.
I’m not fast, but not slow either for someone that started running in the late 20’s. I ran a 4:30 mi at age 32. It was my first time ever training for the mile l believe I did specific training for about 6-7 weeks after been racing 5ks earlier in the season. I did faster than pace 300’s with full recovery, I also ran 4x400m at 65 sec w/ like 2:30 rest and it was very hard to recover.
When I started training my 5k PR was 16:13 then my coach reduced my mileage and did much faster w/o that I was used to. I was very skeptical about running 4:30 but it did happen. I also ran a 5k like 2 weeks prior my Mile race as tune up. I was told to run comfortably first half then push, I ended up running a 15:55 after a very slow 1st mile like 5:20.
My point here is that you can’t really cheat your capabilities, it is true some people are better at middle distance races than long distance, and there’s many ways to accomplish proper training. I discover after that race that I was probably more suitable for middle distance than long distance.