Design and Synthesis of Novel HIV-1 NNRTIs with Bicyclic Cores and with Improved Physicochemical Properties