4:04.37
It took males decades of trying. Don't feel she will get it in her first attempt.
And for a history lesson. If it wasn't for WWII, Bannister might not be the famous miler he is.
Gunder Hagg and Arne Andersson (4:01.6) of Sweden battle over the WR for 3 years lowering it to Gunder's record of 4:01.4 in 1945. If they both wouldn't have joined the army and instead had the regular races that WWII shut down. Which one would have been the first?
Mile run world record progression - Wikipedia
4:06.4 Sydney Wooderson United Kingdom 28 August 1937
4:06.2 Gunder Hägg Sweden 1 July 1942
4:06.2 Arne Andersson Sweden 10 July 1942
4:04.6 Gunder Hägg Sweden 4 September 1942
4:02.6 Arne Andersson Sweden 1 July 1943
4:01.6 Arne Andersson Sweden 18 July 1944
4:01.4 Gunder Hägg Sweden 17 July 1945 Malmö
3:59.4 Roger Bannister United Kingdom 6 May 1954 Oxford