The deoxyxylulose phosphate pathway of isoprenoid biosynthesis. Discovery and function of the ispDEFGH genes and their cognate enzymes