Hepatitis B vaccination of high-risk hospital personnel.