Click Chemistry on Azidoproline: High‐Affinity Dual Antagonist for HIV‐1 Envelope Glycoprotein gp120