What does thyroxine need to be synthesized