Urea cycle biochemistry