Targeted resequencing of HIV variants by microarray thermodynamics