Large "toadstools" are gp120 a docking glycoprotein atop gp41 a transmembrane glycoprotein