Modeling and Spectroscopic Studies of Synthetic Diazabicyclo Analogs of the HIV-1 Inhibitor BMS-378806 and Evaluation of Their Antiviral Activity