Dom,
I have used 2CL2H diodes to replace 5642s. The are higher rating than some others that can be used. I got mine off fleabay. If you replace some of the 5642s, the Si diodes would be in the cathode circuit as this has the highest current in the high voltage circuit. The Si diodes work fine and are very fast switching 12kV types.
Mark