Convert PRC to PDB

Convert PRC files to PDB format.