Dinilai diskriminatif pada penderita AIDS, Perpres JKN digugat