Optimal drug control in a four-dimensional HIV infection model