How much do health care providers know about AIDS?