Optimal control using linear feedback control and neutralizing antibodies for an HIV model with dynamical analysis