Convert DOT to PDB

Convert DOT files to PDB format.