thiamine diphosphate biosynthesis.