Discovery of potent and bioavailable GSK-3beta inhibitors.