Existence, uniqueness, and stability of a sex-structured fractional HIV epidemic model with exponential kernel | Synapse