How to get the CID of a filename from a folder?

You know the CID of a folder, and can get the full files list without downloading the whole folder; but how to download only a specific file name? For example, download only new_patch_at.json?

ipfs ls <CID of the folder>