HLFINSVECB 11291 1 4290 Haloferax lucentense pHK2 replicon HLFINSVECB 11291 9029 11290 E.coli vector pBS+