On mixing diffeomorphisms of the disk