Conversion of sequence from one database format to another using file format converter