Risk of AIDS to health care workers.