Can cyclic HIV protease inhibitors bind in a non-preferred form? An ab initio, DFT and MM-PB(GB)SA study