(sns): No way to add anything-but with prefix twice

### Describe the bug

Today is not possible to filter out messages using anything-but with more than one prefix.
So I tried to filter out by using two anything-but objects like this:

```
{
"documentId": [
{
"anything-but": {
"prefix": "aPrefix"
}
},
{
"anything-but": {
"prefix": "APREFIX"
}
}
]
}
```
Also with no success.

### Expected Behavior

I expected that messages with both prefixes would be filtered out.

### Current Behavior

Only messages with "aPrefix" are filtered out.

If there is any way to accomplish that today let me know please!

### Reproduction Steps

Added subscription to a SNS with the described filtering options

### Possible Solution

Ideally I would like to do:
```
{
"documentId": [ { "anything-but": { "prefix": ["aPrefix","APREFIX"] } }]
}
```
or something similar.

### Additional Information/Context

_No response_

### CDK CLI Version

2.x

### Framework Version

_No response_

### Node.js Version

12

### OS

linux

### Language

Typescript

### Language Version

_No response_

### Other information

_No response_

Start by reproducing the AWS SNS subscription filter behavior with the provided anything-but prefix policies and inspect the CDK SNS filter-policy implementation. Confirm whether multiple prefixes can be represented, then ensure the requested policy excludes messages matching both prefixes and add regression coverage for the behavior.

Written by the indexing model from the issue text.