It is well known and easy to prove that any Denjoy counterexample in the circle is approximated by homeomorphisms of the circle which have the same rotation number and are transitive (in particular, they are conjugated to the rotation).

My question is the following. Given a $C^1$ denjoy counterexample $f:S^1\to S^1$, does there exists a sequence $f_n$ of $C^1$ diffeomorphisms of the circle such that:

1-the rotation number of $f_n$ is the same as the one of $f$.

2-the diffeomorphisms $f_n$ are conjugated to the rotation.

3-$f_n \rightarrow f$ in the $C^1$ topology.

If the diffeomorphisms $f_n$ are of class $C^2$, there is no need to ask for the second hypothesis by the Theorem of Denjoy.

I would guess that for diophantine rotation number, one could even get that the $f_n$ are $C^1$ conjugated to the rotation. I believe that this must be known, but I could not find any reference.