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