what internet stream has the stream format of audio/mpeg and also the maximum stream bitrate?
(ARGMAX (AND broadcast.internet_stream (JOIN broadcast.internet_stream.stream_format m.08l4)) broadcast.internet_stream.stream_bitrate)