1-Piperazinecarboxylic acid, 2,4,5-trimethyl-, 2-(diethylamino)ethyl ester, (2R,5S)- AIDS-192153 AIDS192153