Federal judge rules against HIV prevention drug insurance mandate, worrying some Texans