On the same site look at the Pronto Files page.
CCF's for the BDP-HD1 and BDP-94HD are there.

The IR Codes list is a "shorthand" version of the code. You would need conver the hex to decimal (A1=161, 81=129, AF=175, BC=188) then use John Fine's Makehex program to create the Pronto hex.
But don't bother! The Pronto CCF's on the Pioneer are all that you need.