Switching of OAS1 splicing isoforms mitigates SARS-CoV-2 infection