Convert HTMLZ to PDB

Convert HTMLZ files to PDB format.