High-performance liquid chromatographic methods for separation of enantiomers of alicyclic β-amino acids