Former pharma exec tapped to head White House’s ‘Operation Warp Speed’ coronavirus effort