A 45-year-old man comes to your endocrinology office to discuss the management of his diabetes. His most recent hemoglobin A1c is 8.9%. He is currently taking metformin for diabetes and atorvastatin for hyperlipidemia. He insists that he does not want to take ‘shots’ for his diabetes. He has been strictly following diet and exercise instructions. He asks you if you think metformin is going to be sufficient treatment for his diabetes. In addition to lifestyle modifications and metformin, he would like to get started on another medication which would be ‘weight neutral’. Which of the following medications do not increase his weight?