PROS1 and hyperinsulinemic hypoglycemia, familial, 4: The initiation of HAART might help to reduce protein S deficiency and the risk of thrombosis in HIV-infected individuals.