Thyroxine synthesis