Prophylaxis after occupational exposure to HIV.