Design and Molecular Modeling Studies of HIV-1 RT Inhibitors