Was derek ibbotson the only man to run the mile in exactly 4 minutes?

The old Quiz chestnut, yes Derek Ibbotson was the first man to run one mile in exactly four minutes. he did this in a race at the White City track on September 3rd 1958, when he finished 4th with a time of 4.00.00 minutes dead.