Mariachis delight quarantined Colombians with jolts of street music