I would try the following in the RC5 Dialog in ProntoEdit or Wizz.it
System = 0 Command = 12 (0C is 12 decimal. Use Scientific mode on Windows Calculator to test)
which will result in the following hex data.
5000 0000 0000 0001 0000 000C
Note that you should be able to simply change the 0C above to be any function you wish.
The PDF in the link you provided did not include the Device ID (known as System). The Functions you supplied can be interpreted as 'Command' for RC5 so I chose a Device ID of 0 (System) as a test. If the above works, you simply need to create RC5 codes using the 5000 string above.