PROS1 and Venous thrombosis: The initiation of HAART might help to reduce protein S deficiency and the risk of thrombosis in HIV-infected individuals.