Pretty weird, they are streaming HTTP over port 1935 which is very non-standard.
Anyway do the following:
Settings > Internet Downloads > Advanced > Ports
Remove the RTMP protocol on port 1935 and add a new HTTP entry on port 1935 so it looks like this
Then use AUTO mode and it will be detected and downloaded as below. Note that in this configuration AUTO mode wont detected any RTMP streams. You would need to reset it when you wish to catch such streams.