I’m infected with Velso ransomware! However, there is a strange .david extension.. Is it decryptable?