Hospital workers have AIDS virus