Design, Synthesis and X‐Ray Structural Studies of Potent HIV‐1 Protease Inhibitors Containing C‐4 Substituted Tricyclic Hexahydro‐Furofuran Derivatives as P2 Ligands