changed names for 3-dehydroquinate, 3-dehydroshikimate,