HIV-infected health care workers: risk to patients.