Prickly pear (Indian fig), menthol