Association between metformin use and cognitive and physical function in persons with HIV and diabetes.