Logical design of anti-prion agents using NAGARA.