AIDS-018852 AIDS018852 alpha,beta-Di-1-piperidylpropionic acid, ethyl ester, dihydrochloride