Which of the following is an audio file format compatible with most browsers for the <audio> element?