DTFT of $x[4 n]$ after applying an anti-aliasing filter.