INFORMIX CORPORATION EMPLOYMENT AGREEMENT