Which of the following diseases is caused by a mutation in the gene responsible for the production of the enzyme hypoxanthine-guanine phosphoribosyltransferase (HGPRT), affecting purine metabolism?