Dual-topology insertion of a dual-topology membrane protein.