Although cross-resistance of efavirenz with PIs has not been documented, there are at present insufficient data on the efficacy of subsequent use of PI based combination therapy after failure of regimens containing STOCRIN.