Protein S deficiency and HIV infection.