Thyroxine biosynthesis