The structure of the tetrahydrofolate riboswitch containing a U25C mutation