Explain why the Hilbert transform of $f(t)=\operatorname{sinc}(at) \cos(2 \pi \nu_c t)$ is
$$\hat{f} (t) = \operatorname{sinc} (at) \sin(2 \pi \nu_c t),$$
where $0<a<\nu_c.$
Attempt:
I have already found the Hilbert transform of $\operatorname{sinc}(at)$ here. Now I want to use linearity property of the Hilbert transformation. So writing $f(t)$ as:
$$f(t) = \frac{1}{2} \left( \operatorname{sinc}(at) e^{j 2 \pi \nu_c t} + \operatorname{sinc}(at) e^{-j 2 \pi \nu_c t} \right) \tag{i}$$
Applying linearity:
$$\hat{f}(t) = \frac{1}{2} \left( \frac{\sin^2(at/2)}{at/2} e^{j 2 \pi \nu_c t} + \frac{\sin^2(at/2)}{at/2} e^{-j 2 \pi \nu_c t} \right) \tag{ii}$$
But this doesn't look right. So why does the linearity not work? How can I arrive at the correct Hilbert transform expression given above?
P. S.
I know that this result follows from Bedrosian's theorem but I am not allowed to use that for this problem. I know the Hilbert transform of $f(t)$ has to be $\operatorname{sinc} (at) \sin(2 \pi \nu_c t)$ since I've already plotted its envelope and it looks correct: