Computational Design of Hyperstable, De Novo Miniproteins Targeting PD-1