Structural and biochemical characterization of human adenylosuccinate lyase (ADSL) and the R303C ADSL deficiency-associated mutation.