Optimal control of a fractional-order model for the HIV/AIDS epidemic | Synapse