Dehydrodolichyl diphosphate synthase