PROS1 and HIV infectious disease: HIV infection causes elevated levels of C4BP and diminishes the serum levels of free protein S. We infer that the risk of thrombosis (as measured by these biomarkers) decreases with the use of antiretroviral drugs.