Cyclic HIV-1 Protease Inhibitors Derived from Mannitol:  Synthesis, Inhibitory Potencies, and Computational Predictions of Binding Affinities | Synapse