The best choice for the source you mention is
GetFLV. I tried using
rtmpdump, but there are three levels of url obfuscation, each which handed off to another rtmpe url. With rtmpdump, the ultimate url must be specified. It is too much work for this site, so just use getflv.