A mathematical model for the control of HIV infection-An optimal control approach