Doctors use deactivated HIV virus to ‘cure’ rare ‘bubble boy’ disease