Stabilized HIV-1 envelope glycoprotein trimers for vaccine use