How to extract riched32.dll

Hi,
I have to extract the file riched32.dll which has been corrupted by a virus or by some other means. Can you tell me the process to do this.
Thanks