Synthetic lethality-based prediction of anti-SARS-CoV-2 targets