函数 $y=\ln(\cos x)$ 在 $x=\frac{\pi}{4}$ 处的微分是（ ）

1. A 选项 A $-dx$
2. B 选项 B $dx$
3. C 选项 C $-1$
4. D 选项 D $-\frac{\sqrt{2}}{2}dx$