Risky business: setting public health policy for HIV-infected health care professionals.