Cloning of the Escherichia coli K-12 dihydrofolate reductase gene following Mu-mediated transposition