Increased PAI-1 and tPA antigen levels are reduced with metformin therapy in HIV-infected patients with fat redistribution and insulin resistance.