同学们嘲笑他的发音不标准。

The classmates derided his pronunciation as incorrect.

derided 是动词 deride 的过去式，deride 的意思是"嘲笑、讥讽"，通常带有轻蔑或贬低的意味。这个词来自拉丁语前缀 de-（表示"向下"）和 ridere（"笑"），字面意思是"用笑声贬低"。