1-Piperazinecarboxylic acid, 4-(2-propenyl)-, 2-(diethylamino)ethyl ester AIDS-192093 AIDS192093