Impulsive control of single-input nonlinear systems with application to HIV dynamics