Small molecule inhibitors of hyperphosphorylated tau aggregation in Alzheimers disease: lead optimization, and proof of concept in a rodent model