AIDS-148282 AIDS148282 Bis(1,7,7-trimethylbicyclo[2.2.1]hept-2-yl) 2-butenedioate NSC680223