HF alkylation