AMENDMENT NO. 1 TO AUTOMATIC REINSURANCE AGREEMENT NO. 2000-15, DATED MAY 18, 2000 between TRAVELERS INSURANCE COMPANY and its Subsidiary TRAVELERS LIFE AND ANNUITY COMPANY (CEDING COMPANY) and AXA CORPORATE SOLUTIONS LIFE REINSURANCE COMPANY...