Post-exposure prophylaxis for Middle East respiratory syndrome in healthcare workers