Different HMGCR-inhibiting statins vary in their association with increased survival in patients with COVID-19