Analysis of the Fractional HIV Model under Proportional Hadamard-Caputo Operators