ADAM17 and HIV infectious disease: While we have observed a synergistic upregulation of ADAM17, a failure to observe synergistic downstream effects on MUC5AC could be because enough ADAM17 is already available with HIV infection to mediate its effects on Notch signaling and goblet cell hyperplasia.