What is the fastest mile run by a girl in a high school track meet?

At the age of 18 Alan Webb ran 3:53.43 in the mile, setting a new high school record.