On mixing diffeomorphisms of the disc