Miniaturized HLA A*02-TAX bound to A6c134 TCR