Well,
The 12KV diode is a proper replacement.
It has a higher voltage breakdown which is fine and a bit higher forward voltage drop which is less fine, but should be O.K.
see the datasheet here
I think it should be possible to get the diode one you have from a Sharp service center near you.
Or...